1. A Course on foundations of nonstandard analysis
پدیدآورنده : Kanovei, Vladimir, Vladimir Kanovei , M. Reeken
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Nonstandard mathematical analysis
رده :
QA
299
.
82
.
K3
2. A combination of geometry theorem proving and nonstandard analysis with application to Newton's Principia
پدیدآورنده : Fleuriot, Jacques, 2791-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Automatic theorem proving,، Nonstandard mathematical analysis,، Newton, Isaac, Sir, 2461-7271. Principia
رده :
QA
76
.
9
.
A96F57
3. A course on foundations of nonstandard analysis
پدیدآورنده : Kanovei, Vladimir
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Nonstandard mathematical analysis,، Mathematical analysis,، Functional analysis,، Logic, Symbolic and mathematical
رده :
QA
299
.
82
.
K2
1994
4. A course on foundations of nonstandard analysis
پدیدآورنده : Kanovei, Vladimir
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Nonstandard mathematical analysis, Logic, Symbolic and mathematical
رده :
QA
299
.
82
.
K36
1994
5. A course on fundations of nonstandard analysis
پدیدآورنده : Kanovei, Vladimir
موضوع : ، Nonstandard mathematical analysis
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
6. A course on foundations of nonstandard analysis
پدیدآورنده : Kanovei, Vladimir Grigorevich, 1591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Addresses, essays, lectures ، Nonstandard mathematical analysis
رده :
QA
299
.
82
.
K27
7. A mathematical introduction to logic
پدیدآورنده : / Herbert B. Enderton
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Logic, Symbolic and mathematical
رده :
E-BOOK
8. A primer of infinitesimal analysis
پدیدآورنده : Bell, John Lane
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Nonstandard mathematical analysis
رده :
QA
299
.
82
.
B45P7
2008
9. A primer of infinitesimal analysis /
پدیدآورنده : John L. Bell.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Nonstandard mathematical analysis.,MATHEMATICS-- Calculus.,MATHEMATICS-- Mathematical Analysis.,Nonstandard mathematical analysis.
رده :
QA299
.
82
.
B45
2008eb
10. Abraham Robinson :
پدیدآورنده : Joseph Warren Dauben.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Robinson, Abraham,1918-1974.,Mathematicians-- Germany, Biography.,Nonstandard mathematical analysis.
رده :
QA29
.
R57
D38
1995
11. Advances in Equilibrium Theory :
پدیدآورنده : edited by C.D. Aliprantis, O. Burkinshaw, N.J. Rothman.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Economics.
رده :
HB145
.
E358
1985
12. Advances in analysis, probability, and mathematical physics
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Nonstandard mathematical analysis- Congresses
13. Advances in analysis, probability, and mathematical physics : contributions of nonstandard analysis
پدیدآورنده : edited by Sergio A. Albeverio, Wilhelm A. J. Luxemburg, and Manfred P. H. Wolff
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Nonstandard mathematical analysis
رده :
QA
299
.
82
.
A38
14. Advances in analysis, probability, and mathematical physics : contributions of nonstandard analysis
پدیدآورنده : edited by Sergio A. Albeverio, Wilhelm A.J. Luxemburg, and Manfred P.H. Wolff
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Nonstandard mathematical analysis - Congresses
رده :
QA
299
.
82
.
A38
1995
15. <An> Introduction to Nonstandard Real Analysis
پدیدآورنده : \ Albert E. Hurd, Peter A. Loeb
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Nonstandard mathematical analysis,آنالیز ریاضی غیر استاندارد
رده :
E-Book
,
16. An infinitesimal approach to stochastic analysis /
پدیدآورنده : H. Jerome Keisler
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Brownian motion processes,Nonstandard mathematical analysis,Stochastic integral equations
رده :
QA274
.
27
.
A57
no
.
297
17. An introduction to Ramsey theory :
پدیدآورنده : Matthew Katz, Jan Reimann.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Combinatorial analysis.,Ramsey theory.,Combinatorial analysis.,Combinatorics -- Extremal combinatorics -- Ramsey theory.,Mathematical logic and foundations -- Computability and recursion theory -- Recursive functions and relations, subrecursive hierarchies.,Mathematical logic and foundations -- General logic -- Classical first-order logic.,Mathematical logic and foundations -- General logic -- Decidability of theories and sets of sentences.,Mathematical logic and foundations -- Instructional exposition (textbooks, tutorial papers, etc.).,Mathematical logic and foundations -- Nonstandard models -- Nonstandard models of arithmetic.,Mathematical logic and foundations -- Set theory -- Ordinal and cardinal numbers.,Ramsey theory.
رده :
QA165
.
K38
2018
18. An introduction to nonstandard real analysis
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Nonstandard mathematical analysis. ;
19. An introduction to nonstandard real analysis
پدیدآورنده :
موضوع : ، Mathematical analysis, Nonstandard
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
20. An introduction to nonstandard real analysis
پدیدآورنده : Hurd, Albert Emerson, 1391-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Nonstandard mathematical analysis
رده :
QA
299
.
82
.
H87
